1. Architecting critical systems
Author: / Holger Giese (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F38I83
2010
2. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
3. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
Classification :
QA76
.
9
.
F67
M373
2003
